////////////////////////////////////////////////////////////////////////////////
// Copyright (C) 2008 Michiel Helvensteijn                                    //
//                                                                            //
// This file is part of the Mist compiler.                                    //
//                                                                            //
// The Mist compiler is free software: you can redistribute it and/or modify  //
// it under the terms of the GNU General Public License as published by       //
// the Free Software Foundation, either version 3 of the License, or          //
// (at your option) any later version.                                        //
//                                                                            //
// The Mist compiler is distributed in the hope that it will be useful,       //
// but WITHOUT ANY WARRANTY; without even the implied warranty of             //
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the              //
// GNU General Public License for more details.                               //
//                                                                            //
// You should have received a copy of the GNU General Public License          //
// along with the Mist compiler.  If not, see <http://www.gnu.org/licenses/>. //
////////////////////////////////////////////////////////////////////////////////

#include "ast/assertion.hpp"

/******************************************************************************
 * Includes                                                                   *
 ******************************************************************************/

#include "assert.hpp"
#include "ast/expression.hpp"

/******************************************************************************
 * Function Implementations                                                   *
 ******************************************************************************/

shared_ptr<Assertion> Assertion::create(shared_ptr<Expression> condition) {
	return shared_ptr<Assertion>(new Assertion(condition));
}

Assertion::Assertion(shared_ptr<Expression> condition) : _condition(condition) {
	assert(condition);
}

shared_ptr<Assertion> Assertion::create(shared_ptr<VariableDeclaration> variable_declaration) {
	return shared_ptr<Assertion>(new Assertion(variable_declaration));
}

Assertion::Assertion(shared_ptr<VariableDeclaration> variable_declaration) : _variable_declaration(variable_declaration) {
	assert(variable_declaration);
}
